Computer Laboratory

Results: 4525



#Item
121

Chapter 1 RULE-BASED POLICY SPECIFICATION Grigoris Antoniou Information Systems Laboratory, Institute of Computer Science, FORTH, Greece

Add to Reading List

Source URL: www.l3s.de

- Date: 2012-07-07 19:23:35
    122

    A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-06-23 18:20:16
      123

      Assembling Furniture by Asking for Help from a Human Partner Stefanie Tellex1 , Ross A. Knepper1 , Adrian Li, Thomas M. Howard, Daniela Rus, and Nicholas Roy MIT Computer Science and Artificial Intelligence Laboratory, C

      Add to Reading List

      Source URL: cs.brown.edu

      - Date: 2014-08-06 16:59:36
        124

        Yiran Chen Evolutionary Intelligence Laboratory (http://ei-lab.org) Electrical & Computer Engineering Department University of Pittsburgh 1107 Benedum Hall Pittsburgh, PA 15261

        Add to Reading List

        Source URL: ei-lab.org

        - Date: 2015-04-20 10:47:12
          125

          A Write-friendly Hashing Scheme for Non-volatile Memory Systems Pengfei Zuo and Yu Hua Wuhan National Laboratory for Optoelectronics School of Computer, Huazhong University of Science and Technology, Wuhan, China Corresp

          Add to Reading List

          Source URL: csyhua.github.io

          - Date: 2018-03-29 07:20:56
            126

            Michail G. Lagoudakis Curriculum Vitæ Associate Professor Intelligent Systems Laboratory School of Electrical and Computer Engineering

            Add to Reading List

            Source URL: www.intelligence.tuc.gr

            - Date: 2017-09-20 03:32:40
              127

              Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2017-06-23 18:20:16
                128

                Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                Add to Reading List

                Source URL: danelahman.github.io

                - Date: 2018-03-25 20:15:13
                  129

                  Shape and Texture Generation by Neural Network Creation Paradigm J. P. Lewis Computer Graphics Laboratory New York Institute of Technology Abstract

                  Add to Reading List

                  Source URL: www.scribblethink.org

                  - Date: 2008-03-24 23:35:13
                    130

                    from ACM Transactions on Graphics July 1987 Vol. 6, No. 3 Generalized Stochastic Subdivision J. P. Lewis∗ Computer Graphics Laboratory

                    Add to Reading List

                    Source URL: www.scribblethink.org

                    - Date: 2008-03-24 23:35:11
                      UPDATE